Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
61	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
62	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
63	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
64	Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen Frank Tip Ondˇrej Lhot´ak Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2016-05-16 09:01:50 Software engineering Software Computing Models of computation Cross-platform software Scripting languages Joyent Node.js Lambda calculus Event Call graph JavaScript
65	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
66	RANDOM GEOMETRIC GRAPH DIAMETER IN THE UNIT BALL ROBERT B. ELLIS, JEREMY L. MARTIN, AND CATHERINE YAN Abstract. The unit ball random geometric graph G = Gdp (λ, n) has as its vertices n points distributed independently Add to Reading List Source URL: math.iit.edu Language: English - Date: 2006-03-23 12:39:13 Mathematics Algebra Mathematical analysis Spectral theory Linear algebra Poisson distribution Lambda calculus Jordan normal form
67	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
68	TDγ : Re-evaluating Complex Backups in Temporal Difference Learning George Konidaris∗† MIT CSAIL† Cambridge MA 02139 Add to Reading List Source URL: psthomas.com Language: English - Date: 2013-11-16 15:50:17 Algebra Mathematics Linear algebra Representation theory of Lie algebras Representation theory of Lie groups Weight Matrix theory Lambda calculus Maximum spacing estimation
69	Universidade do Minho Escola de Engenharia Hugo José Pereira Pacheco Bidirectional Data Transformation by Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2015-05-31 17:04:07 Lambda calculus Corrective lenses Combinatory logic Logic in computer science Bidirectional transformation Progressive lens Mathematics
70	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.nocrew.org Language: English - Date: 2013-05-15 16:15:14 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope